Sum-Check Protocol

計算の正しさを示す

多項式の係数の合計を検証するための効率的な方法

原始的な計算（例えば、多項式の評価など）をsum-checkプロトコルを用いて検証